The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Dieter Hutter Books

Results for Dieter Hutter

Showing 1 to 4 of 4 results
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science) Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science) by Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

by Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland


ISBN 13: 9780521834490

Format: Hardcover (216 pages)
Publisher: Cambridge University Press
Published: 30 Jun 2005

Save for later

 
New : $144.89  
New : $144.89
Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings: 1641 (Lecture Notes in Computer Science) Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings: 1641 (Lecture Notes in Computer Science) by Dieter Hutter,Werner Stephan,Paolo Traverso,Markus Ullmann

Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings: 1641 (Lecture Notes in Computer Science)

by Dieter Hutter,Werner Stephan,Paolo Traverso,Markus Ullmann


ISBN 13: 9783540664628

Format: Paperback (396 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $83.51  
New : $83.51
Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings: 3450 (Lecture Notes in Computer Science) Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings: 3450 (Lecture Notes in Computer Science) by Dieter Hutter,Markus Ullmann

Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings: 3450 (Lecture Notes in Computer Science)

by Dieter Hutter,Markus Ullmann


ISBN 13: 9783540255215

Format: Paperback (252 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $77.54  
New : $77.54
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... 2605 (Lecture Notes in Computer Science) Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... 2605 (Lecture Notes in Computer Science) by Dieter Hutter,Werner Stephan

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... 2605 (Lecture Notes in Computer Science)

by Dieter Hutter,Werner Stephan


ISBN 13: 9783540250517

Format: Paperback (580 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $120.32  
New : $120.32